ABS: strong-subtype(A;B)

STM: strong-subtype wf

STM: strong-subtype-self

STM: strong-subtype-equal

STM: strong-subtype-ext-equal

STM: strong-subtype transitivity

STM: strong-subtype-void

STM: strong-subtype-set

STM: strong-subtype-set2

STM: strong-subtype-set3

STM: strong-subtype-product

STM: strong-subtype-dep-product

STM: strong-subtype-union

STM: strong-subtype-list

STM: strong-subtype-l member-type

STM: strong-subtype-l member

STM: strong-subtype-eq1

STM: strong-subtype-eq2

STM: strong-subtype-eq3

STM: strong-subtype-eq4

STM: strong-subtype-member

STM: singleton-subtype

STM: inject functionality

STM: l-all-iff

STM: iseg-subtype

STM: sq stable subtype rel

STM: sq stable strong-subtype